home *** CD-ROM | disk | FTP | other *** search
-
- MODULAR SB-PROLOG
- =================
-
- This file describes how to obtain a version of SB-Prolog (version 3.1) extended
- with module facilities patterned after those described in:
-
- "A Calculus for the Construction of Modular Prolog Programs",
- D T Sannella and L A Wallen, The Journal of Logic Programming 1992,
- Volume 12, Nos 1 and 2, pp 147-178.
-
- The system is known to work on Sun-4's (SPARCstations) and is known NOT to work
- on Sun-3's; nothing is known about other machines.
-
-
- FTP distribution instructions
- -----------------------------
-
- The primary means of distributing the system is anonymous internet ftp
- from host ftp.dcs.ed.ac.uk (address 129.215.160.5), directory pub/dts.
-
- The file pub/dts/mod-prolog.tar.Z is a compressed tar file containing this
- file (called DISTRIBUTION), documentation, the source code, examples, etc.
-
- ***************************************************************************
- NOTE: Ftp should be put into binary mode before transferring the compressed
- tar file.
- ***************************************************************************
-
- Here is a sample dialog:
-
- ftp ftp.dcs.ed.ac.uk
- Name: anonymous
- Password: <your name@host>
- ftp> binary
- ftp> cd pub/dts
- ftp> get mod-prolog.tar.Z
- ftp> bye
-
- After the file is transferred it should be uncompressed and then extracted
- using tar. For example:
-
- zcat mod-prolog.tar.Z | tar fox -
-
- The file mod-prolog/README will then contain instructions for installing the
- system and a more detailed description of what is available.
-
- Brian Paxton
- University of Edinburgh
- mprolog@dcs.ed.ac.uk
-